1. Sheaves, games, and model completions : a categorical approach to nonclassical propositional logics
Author: Ghilardi, Silvio
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Categories )Mathematics(,، Proposition )Logic(,، Model theory
Classification :
QA
169
.
G474S5
